Задача трёх тел (в астрономии) — частная задача небесной механики, состоящая в определении относительного движения трёх тел (материальных точек), взаимодействующих по закону тяготения Ньютона (например, Солнца, Земли и Луны). В общем случае не существует решения этой задачи в виде конечных аналитических выражений. Известно только 5 точных решений для специальных начальных скоростей и координат объектов.

Математическая формулировка

Общая задача трёх тел в небесной механике является задачей с начальными условиями для системы обыкновенных дифференциальных уравнений. Для заданных начальных условий и для различных j и k , нужно найти решение системы уравнений второго порядка

где  — массы тел, и  — их трёхмерные векторные функции, зависящие от времени t, описывающие положение этих масс.

Частные решения

Во всех пяти известных на данный момент точных решениях отношения расстояний между телами остаются неизменными.

Первые три решения были найдены Эйлером. Они имеют место, когда все три тела находятся на одной прямой. В этом случае имеют место 3 возможных последовательности расположения (третье тело находится между двумя другими, либо слева или справа от обоих). Такое движение называется коллинеарным.

Ещё два решения нашел в 1772 году Лагранж. В них треугольник, образованный телами, сохраняется равносторонним, вращаясь в пространстве либо по часовой стрелке, либо против часовой стрелки.

В 2013 году сербские учёные Милован Шуваков (Milovan Šuvakov) и Велько Дмитрашинович (Veljko Dmitrašinović) из Института Физики в Белграде нашли 13 новых частных решений для задачи трёх тел, при которых движение системы из трёх одинаковых по массе объектов будет происходить в повторяющемся цикле^[1].

Общий случай

Относительно общего случая Вейерштрасс предложил такую задачу (1885 г., конкурс на премию шведского короля Оскара II):

Пусть дана система произвольного числа материальных точек, взаимодействующих по закону Ньютона. Требуется, в предположении, что не произойдет соударения каких-либо двух точек, представить координаты каждой точки в виде рядов по каким-либо непрерывным функциям времени, равномерно сходящихся для всех действительных значений этой переменной^[2].

Приближённое решение

По всей видимости, сам Вейерштрасс, опираясь на свою знаменитую теорему об аппроксимации произвольной функции полиномами, желал получить выражение для координат тел в виде

,

где  — некоторые полиномы. Существование таких полиномов сразу следует из непрерывности решения, но найти конструктивный способ отыскания полиномов до сих пор не удалось.

Обсуждение самой возможности ситуации, описанной в задаче Вейерштрасса, привело к ряду важных выводов:

• Если решение задачи трёх тел является голоморфной функцией в интервале и перестает быть таковым при , то при или все расстояния между телами стремятся к нулю (тройное соударение тел), или одно из них стремится к нулю, а остальные два — к конечным пределам (простое соударение тел). (Пенлеве, 1897)
• Тройное соударение в задаче трёх тел возможно лишь при условии обращения в нуль момента импульса системы и, следовательно, может иметь место лишь при весьма специальных начальных данных. (Ф. А. Слудский, 1874)
• Если момент импульса системы не равен нулю, то существует так называемый регуляризирующий параметр , через который можно выразить координаты и время голоморфным образом в окрестности вещественной оси . (Зундман, 1912; короткое доказательство дал в 1967 г. Бурде (Burdet)^[3])

Это подтолкнуло Пуанкаре и Зундмана искать решение не в виде функций от , а в виде рядов от некоторого параметра. Именно, координаты трёх тел и время являются голоморфными функциями вдоль всей вещественной оси плоскости , то есть существует некоторая область, в которой координаты голоморфны. По теореме Римана эту область можно отобразить на круг единичного радиуса , поэтому координаты трёх тел и время можно представить в виде функций параметра , голоморфных в круге единичного радиуса. Такие функции представимы в виде сходящегося во всем круге рядов по положительным степеням . Эти ряды были найдены Зундманом в 1912, точнее говоря, был найден алгоритм отыскания их коэффициентов. К несчастью, как показал Д. Белорицкий^[4], по крайней мере в случае Лагранжа для нужд вычислительной астрономии в сходящихся рядах Зундмана нужно брать как минимум членов.

Точное решение

Брунс и Пуанкаре доказали, что систему дифференциальных уравнений для движения трёх тел невозможно свести к интегрируемой, разложив её на независимые уравнения. Открытие показало, что динамические системы не изоморфны. Простые интегрируемые системы допускают разложение на невзаимодействующие подсистемы, но в общем случае исключить взаимодействия невозможно.

См. также

• Задача двух тел
• Гравитационная задача N тел

Примечания